{
1,8,12,-1,
2,9,13,-1,
3,10,14,-1,
0,11,15,-1,
0,1,8,15,-1,
1,2,9,12,-1,
2,3,10,13,-1,
3,0,11,14,-1,
8,20,15,-1,
9,21,12,-1,
10,22,13,-1,
11,23,14,-1,
8,12,21,17,29,24,16,20,-1,
9,13,22,18,30,25,17,21,-1,
10,14,23,19,31,26,18,22,-1,
11,15,20,16,28,27,19,23,-1,
16,24,28,-1,
17,25,29,-1,
18,26,30,-1,
19,27,31,-1,
5,24,29,-1,
6,25,30,-1,
7,26,31,-1,
4,27,28,-1,
4,28,24,5,-1,
5,29,25,6,-1,
6,30,26,7,-1,
7,31,27,4,-1,

s0,1,32,-1,
s1,2,33,-1,
s2,3,34,-1,
s3,0,35,-1,
s1,32,36,33,-1,
s2,33,37,34,-1,
s3,34,38,35,-1,
s0,35,39,32,-1,
s32,36,39,-1,
s33,37,36,-1,
s34,38,37,-1,
s35,39,38,-1,
s36,40,43,39,-1,
s37,41,40,36,-1,
s38,42,41,37,-1,
s39,43,42,38,-1,
s40,41,45,-1,
s41,42,46,-1,
s42,43,47,-1,
s43,40,44,-1,
s40,45,5,44,-1,
s41,46,6,45,-1,
s42,47,7,46,-1,
s43,44,4,47,-1,
s44,5,4,-1,
s45,6,5,-1,
s46,7,6,-1,
s47,4,7,-1,
}
